conditional theorem

join shbcf.ru